Do not use a server-based search engine for the doxygen documentation.

Do not use a server-based search engine for the doxygen documentation.

Origin: <upstream|backport|vendor|other>, <URL, required except if Author is present>
Bug: <URL to the upstream bug report if any, implies patch has been forwarded, optional>
Bug-Debian: https://bugs.debian.org/914498
Forwarded: not-needed, Debian specific
Last-Update: 2020-04-08

As this would require a webserver with php enabled.
Last-Update: 2020-04-08
Gbp-Pq: Name do-not-use-doxygen-searchengine.patch